TSTP Solution File: SET173^5 by SInE---0.4